The paper aims to clarify the role of the meaning of life in Anselm Müller’s philosophy. Müller says that the ethically good life is the life of acting well, and acting well requires at least a rough conception of the meaning of life, or a conception of what makes a life go well. But why is such a conception required and what does it mean to have such a conception? I argue that such a conception cannot provide us with ultimate (...) ends in our practical deliberations. Nor can its role be merely to provide a standard against which practical reasoning can be assessed. Rather, our conception of the meaning of life is, in the first instance, that which allows us, in our practical reasoning, to see certain considerations as good reasons for certain actions and to weigh reasons for and against different options. One upshot of my interpretation is that Müller should be more optimistic about philosophy’s ability to answer the question of the meaning of life than he allows himself to be. (shrink)

Die Wittgenstein-Schülerin Elizabeth Anscombe zählt zu den einflussreichsten Philosophinnen des 20. Jahrhunderts. Mit der Monographie Absicht begründete sie die analytische Handlungstheorie, viele ihrer Abhandlungen gelten als Klassiker, aber nur wenige liegen bislang in deutscher Übersetzung vor. Der vorliegende Band füllt diese Lücke: Er versammelt zwölf von Anscombes wichtigsten Aufsätzen, die thematisch von der praktischen Philosophie über die Metaphysik und die Philosophie des Geistes bis hin zu Aristoteles- und Wittgenstein-Interpretationen reichen, also das ganze Spektrum ihres Denkens repräsentieren. Die Anmerkungen und Erläuterungen (...) der Herausgeber sowie das Nachwort von Anselm W. Müller erschließen die Texte und bieten zusätzliche Einblicke in das facettenreiche Werk dieser solitären Denkerin. (shrink)

The European Association for Cognitive Systems is the association resulting from the EUCog network, which has been active since 2006. It has ca. 1000 members and is currently chaired by Vincent C. Müller. We ran our annual conference on December 08-09 2016, kindly hosted by the Technical University of Vienna with Markus Vincze as local chair. The invited speakers were David Vernon and Paul F.M.J. Verschure. Out of the 49 submissions for the meeting, we accepted 18 a papers and 25 (...) as posters (after double-blind reviewing). Papers are published here as “full papers” or “short papers” while posters are published here as “short papers” or “abstracts”. Some of the papers presented at the conference will be published in a separate special volume on ‘Cognitive Robot Architectures’ with the journal Cognitive Systems Research. - RC, VCM, YS, MV. (shrink)

Worin besteht Mills Argument für den Utilitarismus? Im psychologischen Teil des Arguments plädiert Mill für eine aggregierte Beschreibung unserer hedonistischen Werte ("Das allgemeine Glück ist ein Gut für die Gesamtheit aller Personen"). Von hier aus steuert er im normativen Teil des Arguments auf eine aggregierte Bewertung zu ("Das allgemeine Glück ist ein Gut"). Mills Übergang von Beschreibung zu Wertung beruht auf zwei versteckten Annahmen: Die erste sagt (gegen den Nihilisten), dass es Werte gibt; die zweite sagt (gegen Wert-Metaphysiker), dass die (...) Antwort auf die Frage nach Werten nicht völlig unabhängig von dem sein kann, was wir alle de facto für wert erachten. Diese beiden Voraussetzungen scheinen keine inhaltlichen Aussagen zur Moral zu enthalten. Doch wer sie teilt, wird von Mills Argument überraschend weit in die Gefilde der Moral getrieben. Sein Argument ist besser, als die meisten Interpreten glauben. (shrink)

Invited papers from PT-AI 2011. - Vincent C. Müller: Introduction: Theory and Philosophy of Artificial Intelligence - Nick Bostrom: The Superintelligent Will: Motivation and Instrumental Rationality in Advanced Artificial Agents - Hubert L. Dreyfus: A History of First Step Fallacies - Antoni Gomila, David Travieso and Lorena Lobo: Wherein is Human Cognition Systematic - J. Kevin O'Regan: How to Build a Robot that Is Conscious and Feels - Oron Shagrir: Computation, Implementation, Cognition.

Although I agree with Sabine Muller’s conclusion that we should first seek to find alternatives to amputation for patients suffering from Body Integrity Identity Disorder (BIID), I disagree with one of the major premises that she uses to argue for her claim. Muller argues that patients with BIID are likely not autonomous when they request that the limb be amputated. Muller’s argument that BIID suffers are not autonomous is flawed because she conflates philosophical conceptions of autonomy with (...) the conception of autonomy that is operative in the context of medicine. (shrink)

The paper offers an account of inference. The account underwrites the idea that inference requires that the reasoner takes her premises to support her conclusion. I reject views according to which such ‘takings’ are intuitions or beliefs. I sketch an alternative view on which inferring consists in attaching what I call ‘inferential force’ to a structured collection of contents.

DIFERENCIAÇÃO SEXUAL -/- Emanuel Isaque Cordeiro da Silva Instituto Agronômico de Pernambuco Embrapa Semiárido -/- • _____OBJETIVO -/- Os estudantes de Veterinária e de Zootecnia estão ligados à disciplina Reprodução Animal, um pelos mecanismos fisiológicos para evitar e tratar as possíveis patologias do trato reprodutivo dos animais domésticos, e outro para o entendimento dos processos fisiológicos visando o manejo reprodutivo e a procriação para a formação de um plantel geneticamente melhorado. Sendo assim, a finalidade do presente trabalho é apresentar os (...) mecanismos que regulam as diferenças sobre o desenvolvimento embrionário relativos à diferenciação e determinação sexual de machos e fêmeas, que também incluem o desenvolvimento dos órgãos envolvidos na reprodução e a origem das diferenças entre ambos os sexos. -/- •____INTRODUÇÃO -/- Os organismos que se reproduzem sexualmente são descendentes de organismos ao qual não existia a diferenciação sexual. Em algum momento da evolução surgiu a reprodução sexual como um mecanismo para incrementar a diversidade genética e facilitar a troca de informações genéticas mediante o material genético da fêmea com o do macho. Devido sua origem comum, na maioria das espécies, tanto os machos como as fêmeas possuem todos os genes necessários para desenvolverem-se em qualquer dos sexos. O que efetivamente faz diferença entre os sexos é a forma e a ordem ao qual se expressam os genes durante o processo de desenvolvimento. A diferenciação sexual é regulada principalmente por mecanismos epigenéticos, mais do que as diferenças genéticas de grande magnitude entre os sexos. Todo o controle epigenético de qualquer processo de desenvolvimento depende basicamente de uma série de expressões gênicas, através da qual a expressão de certa combinação de genes resulta na presença de determinadas proteínas, conhecidas como os fatores de transcrição, que induzem ou reprimem a expressão de outro(os) gene(es), a partir dos quais se produzem novas proteínas, que em certos casos também atuam como fatores de transcrição para outros genes, e assim sucessivamente. Logo, a expressão ou falta de expressão de um gene ao início da série pode resultar em um ladrão totalmente diferente da expressão de outros genes subsequentes, o que pode ocasionar profundas mudanças no processo de desenvolvimento e até a mutações indesejáveis. O padrão predeterminado de expressões gênica relativo a diferenciação sexual na maioria das espécies tanto domésticas quanto selvagens, leva ao desenvolvimento de um dos sexos (o padrão predeterminado dos mamíferos é o sexo feminino). Em consequência, a diferenciação faz com que um indivíduo do sexo oposto exija a expressão de um gene de determinação sexual que desvie a subsequente série de expressões gênica em direção ao dito sexo. Nos mamíferos, a expressão do gene SRY, localizado no cromossomo Y (e portanto ausente nas fêmeas), redige o padrão de diferenciação sexual de sua via pré-estabelecida feminina em direção ao padrão masculino. A existência de uma única diferença genética (presença do gene SRY nos machos e ausentes nas fêmeas), vai se amplificando e termina resultando no desenvolvimento de indivíduos diferentes entre si. Esse é um mecanismo de diferenciação sexual cromossômica. O primeiro passo de uma série de diferenciação sexual, em sentido estrito, não depende nem requer necessariamente a presença de um gene diferente em algum dos sexos. O gene “disparador” da diferenciação sexual pode estar presente em todos os embriões, porém pode expressar-se somente em algum deles, devido a fatores ambientais que formam parte da sua regulação epigenética, isto é, uma determinação sexual ambiental. Em algumas espécies de tartarugas ou de lagartos a expressão ou falta de expressão do gene “disparador”, por exemplo, depende da temperatura existente durante a incubação dos ovos, pelo qual alguns embriões desenvolvem-se como machos e outros como fêmeas, apesar de não existir diferença genética entre eles, simplesmente como consequência da temperatura: a determinação sexual depende da temperatura a que cada um deles foi submetido durante a incubação. Em certas espécies as temperaturas mais elevadas facilitam o desenvolvimento de fêmeas e outras de machos, enquanto que em outras espécies as temperaturas amenas (intermediárias) resultam em machos, e as inferiores como as superiores induzem o desenvolvimento de fêmeas. A existência dessa diversidade indica que a temperatura por si mesma não é a que induz ou a que provoca o desenvolvimento do macho e da fêmea, senão a que atua somente como um regulador inicial da diferenciação sexual. Em outras espécies o fator ambiental que regula a determinação sexual pode ser distinto. A densidade populacional, por exemplo, pode atuar como um regulador. Podemos concluir que a determinação sexual dependente da temperatura ou de outros fatores ambientais estabelece-se antes da determinação sexual cromossômica, a qual evoluiu depois como um método que oferece maior certeza e resultado, já que a proporção de machos e fêmeas não é afetada por mudanças ambientais ou de hábitat. -/- •___FORMAÇÃO INICIAL DA GÔNADA -/- Basicamente em todos os embriões, inicialmente se formam as chamadas gônadas indiferenciadas (com o potencial de desenvolver-se em ovários ou testículos) a partir da invasão das cristas genitais pelas células germinais primordiais, que migram desde seu local de origem no epiblasto, perto do lugar onde o saco vitelino se une com o intestino primitivo e que chegam até às cristas genitais que são engrossamentos de tecido situados na região mesonéfrica do embrião. A migração das células germinais primordiais ocorre muito cedo sobre o processo de desenvolvimento do embrião (dia 26 nos bovinos). Ao chegas as cristas genitais, as células germinativas proliferam-se e se organizam com as células somáticas já existentes nas cristas para ir formando a gônada (figura 1). Para regular essa remodelação e conformação adequada da gônada vários genes se expressam, como o OCT-4 (que aparentemente mantém a totipotencialidade da gônada), assim como o SF-1 (Fator esteroidogênico 1) e o WT-1 (gene associado ao tumor de Wilms). Esses dois últimos genes estimulam a proliferação celular e estabelecimento dos cordões sexuais. Nessa etapa inicial do desenvolvimento todos esses genes se expressam sem distinção de sexo, pelo que a gônada em formação mantém a capacidade de se diferenciar em testículo ou em ovário. -/- Figura 1: migração das células germinais primordiais em direção a crista gonodal. Diferenciação das gônadas femininas e masculinas. Fonte: ZARCO, 2018. -/- •___SEXO CROMOSSÔMICO -/- Têm-se observado que nos mamíferos a determinação sexual depende diretamente dos cromossomos. As fêmeas possuem dois cromossomos sexuais X (um contribuído do óvulo e o outro por um espermatozoide “X”). Os machos, por sua vez, possuem um cromossomo sexual X(proveniente do óvulo) e um cromossomo sexual Y, que provém de um espermatozoide “Y” (figura 2). A metade dos espermatozoides produzidos por um macho são X e a metade Y, isso porque durante a espermatogênese a divisão meiótica provoca que a partir de cada espermatócito primário, célula diploide que por pertencer a um indivíduo macho tem um cromossomo X e um Y, se originem das espermátides haploides a cada um das que eles tocam cromossomos X, e outras espermátides haploides as que eles tocam os cromossomos Y. Dessa forma, de acordo com o tipo do espermatozoide que fertilize o ovócito, se originará um indivíduo com cariótipo feminino “XX” ou um cariótipo masculino “XY” (figura 2). Esse processo é conhecido como sexo cromossômico, ao qual se determina o momento da fertilização. Figura 2: nos mamíferos todos os óvulos produzidos pelas fêmeas possuem um cromossomo sexual X. A metade dos espermatozoides produzidos pelos machos possuem um cromossomo X e a outra metade possui um cromossomo Y. Dependendo do cromossomo presente no espermatozoide que fertilize o óvulo pode-se gerar um indivíduo XX (fêmea) ou um XY (macho). Fonte: ZARCO, 2018. -/- O cromossomo “Y” é uma “invenção” relativamente recente na história da evolução das espécies e do estudo da genética. Surgiu a partir de uma mutação de um cromossomo “X”, que resultou na perda de um de seus braços, que é por onde se originou a morfologia do cromossomo Y. A maioria dos genes presentes no cromossomo Y também existem no cromossomo X; assim mesmo somente alguns genes do cromossomo Y foram evoluídos até ser diferentes dos genes do cromossomo X. Embora os machos possuam um cromossomo que não está presente nas fêmeas, esse mesmo cromossomo não aporta toda a informação genética original. Todos os genes existentes nas fêmeas estão também presentes nos dos machos, já que eles também possuem um cromossomo X. Uma particularidade do cromossomo Y, ao existir somente uma cópia nos machos, é que ele sofre um entrecruzamento com um cromossomo análogo durante o processo de meiose, pelo que o cromossomo Y de um macho é idêntico ao de seu progenitor e ao de seus descendentes, exceto no caso em que ocorra uma mutação espontânea. Em contraste, os cromossomos X das fêmeas (um proveniente do pai e outro da mãe) se entrecruzam durante a meiose, por onde cada óvulo produzido pela fêmea terá uma combinação de alelos distinta em seu cromossomo X. Ao estudar as diferenças presentes na sequência de DNA do cromossomo Y, é possível identificar a distância filogenética entre os indivíduos (quanto mais diferenças existirem entre os cromossomos significa que seu ancestral comum está mais longe). Algo análogo ocorre com o DNA das mitocôndrias, que sempre são aportados pela mãe e nunca sofrem recombinação genética. Gene SRY -/- Um dos poucos genes do cromossomo Y que não possuem correspondência com o cromossomo X é o gene SRY (Sex-determining Region of the Y chromossome – região do cromossomo Y determinante do sexo). Esse gene se expressa somente na gônada em formação nos embriões machos, em particular em células precursoras das células de Sertoli; ele codifica uma proteína da família SOX (SRY-like Box) que é uma família formada por proteínas que possuem um domínio de união ao DNA e que atuam como fatores de transcrição. Ao produzir-se a proteína SRY nas células precursoras das células de Sertoli estimula-se a expressão (transcrição) de outro gene análogo, denominado SOX-9 que, por sua vez, atua como um fator de transcrição que ativa a expressão de outros genes, como o FGF-9 (Fibroblast Growth Factor-9), ou seja ele é o estimulante de ativação dos demais. Os produtos dos genes SOX-9 e FGF-9 iniciam uma cascata de expressões que provocam a diferenciação das células de suporte da gônada indiferenciada (crista genital) em células de Sertoli. Em seguida, essas células dirigem a diferenciação das células intersticiais da crista genital em células de Leydig, o que finalmente resulta na formação de um testículo. Outro dos efeitos da proteína codificada por SOX-9 é um estímulo maior da expressão de seu próprio gene, pelo qual é produzido um ciclo de retroalimentação positiva que favorece a continuidade do processo de formação testicular. Como nos embriões da fêmea não existe o gene SRY, a gônada indiferenciada não é estimulada para expressar os genes SOX-9 nem o FGF-9 nas células de suporte (que nesse caso serão precursoras de células da granulosa). A gônada, em mudança, expressa em forma constitutiva, isto é, sem a necessidade de estimulação, outra cascata de genes que incluem o WNT4 (Wingless-integration Factor 4) e o RAPO1 (Respondina-1), que por sua vez iniciam uma cascata de expressão gênica, a qual provoca a diferenciação das células somáticas da gônada indiferenciada para formação das células da granulosa e células da teca, esse feito conduz, por sua vez, a formação de um ovário. No embrião macho a proteína SOX-9 inibe a expressão dos genes WNT4 e RSPO-1, pelo que a presença do gene SRY, e portanto de SOX-9, inibem a formação de um ovário ao mesmo tempo que estimulam a formação do testículo (figura 3). Em suma, se o embrião possui genótipo XY (um embrião macho), o gene SRY começa a expressar-se sobre as células precursoras da gônada imediatamente depois da formação da mesma, quando os cordões sexuais primários estão se desenvolvendo na medula. A expressão do gene, assim como a presença subsequente das proteínas SOX-9 e FGF-9 estimula a distinção das células de Sertoli e que se organizem os tubos seminíferos a partir dos cordões sexuais primários. Em contrapartida, em um embrião com genótipo XX (fêmea) não existe o gene SRY, pelo qual é impossível que se elevem os níveis das proteínas SOX-9 e FGF-9 e as células precursoras não se diferenciam em células de Sertoli, e portanto os cordões sexuais primários sofrem regressão. Depois de alguns dias, começam a organizar-se os cordões sexuais secundários e as células precursoras iniciam a expressão do gene WNT4, o que leva as mesmas a diferenciar-se em células da granulosa, que serão a base para a conformação dos folículos ovarianos. Se em um embrião XY, macho, a expressão do gene SRY demora, é formada um ovo-testículo devido a que algumas das células somáticas das cristas gonodais começam a expressar o gene WNT4, e a diferenciar-se em células da granulosa, enquanto que em outras a proteína SRY chega a tempo para dirigir a diferenciação para formação das células de Sertoli. No ovário em formação é expressado um gene denominado DAX-1 (Dosage-sensitive Sex Reversal). Esse gene, localizado no cromossomo X, codifica uma proteína que é um membro da família dos receptores nucleares ao que lhe falta o domínio de união ao DNA, pelo que parece atuar no bloqueio de diversos fatores de transcrição, entre os que se encontra o SRY. Como a proteína DAX-1 impede a ação da proteína SRY, um excesso de expressão do gene DAX-1 pode provocar a feminilização gonodal de indivíduos XY, macho, embora tenham SRY. Em condições normais, a expressão adequada do gene DAX-1 não é capaz de evitar a masculinização gonodal de embriões com o gene SRY, daqui o nome de reversão sexual dependente da dose. Figura 3: série de expressão gênica para a determinação gonodal. SRY (Região do cromossomo Y determinante do sexo), SOX-9 (SRY-like Box-9), FGF-9 (Fator de crescimento de fibroblastos-9), WNT4 (Wingless-integration Factor-4), RSPO-1 (Respondina-1). Uma vez que o SRY induz a expressão de SOX-9 na gônada masculina, inicia-se um processo de feedback positivo mediante o qual os níveis de expressão de SOX-9 e FGF-9 vão aumentando, ao mesmo tempo que inibem a expressão de WNT-4 e RSPO-1. Na gônada feminina não se expressam SRY, SOX-9 e nem FGF-9, o que permite que se expressem os genes WNT-4 e RSPO-1, que iniciam uma cascata de sinalização que dirige a formação de um ovário. Fonte: ZARCO, 2018. -/- • ___DIFERENCIAÇÃO SEXUAL DOS GENITAIS -/- Uma vez que se formam os testículos, todo o desenvolvimento subsequente dos órgãos e as características “masculinas” em lugar das femininas é em consequência dos hormônios produzidos pelos testículos em formação, incluindo os andrógenos e o hormônio inibidor dos ductos de Müller. Mediante a ausência de testículos todo o desenvolvimento dos órgãos genitais internos e externos segue um padrão feminino, sem levar em conta se estão presentes os ovários; o que significa a ausência de hormônios gonodais determina que o embrião se desenvolva como fêmea, uma vez que não requerem hormônios ovarianos para desencadear o padrão feminino. Por sua vez, as gônadas masculinas (os testículos), produzem substâncias que desviam o desenvolvimento em direção ao padrão masculino. Sob etapas relativamente rápidas da diferenciação todos os embriões possuem dois pares de dutos sexuais, os dutos de Wolff ou mesonéfricos e os dutos de Müller ou paramesonéfricos (figura 4). A testosterona secretada pelos testículos do feto macho em desenvolvimento atua sobre os dutos de Wolff, o que induz a formação posterior dos dutos deferentes, do epidídimo e das glândulas seminais (figura 4). Figura 4: formação dos órgãos genitais internos a partir dos dutos de Wolff no macho e dos dutos de Müller na fêmea. Fonte: ZARCO, 2018. -/- Os testículos produzem ao mesmo tempo, uma glicoproteína chamada Hormônio Inibidor dos Dutos de Müller (Müllerian Inhibiting Hormone, MIH, também chamado de Anti-Müllerian Hormone, AMH); como o seu nome indica, inibe o desenvolvimento dos dutos de Müller ou paramesonéfricos, provocando sua regressão, que impede a formação dos órgãos genitais característicos da fêmea como os ovidutos, o útero, a cérvix e a porção cranial da vagina (figura 4). O MIH é uma glicoproteína da família dos fatores de crescimento transformativo β (TGFβ). O gene MIH possui locais de união para os produtos dos genes SOX-9 e SF-1, pelo que a presença simultânea de ambos fatores de transcrição é necessária para a secreção do MIH e leva a cabo sua função de iniciação dos dutos de Müller sobre o embrião macho (vale lembrar que nessa etapa tanto a gônada de embriões machos como de embriões fêmeas expressam o gene SF-1, mas somente o macho expressa o SOX-9, para que unicamente esse último produza MIH). O certo é que na gônada do embrião fêmea não se produzem quantidades importantes da proteína SOX-9, além de que se produz a proteína DAX-1, mesma que antagoniza tanto a SOX-9 como a SF-1, todo o qual impede a produção de MIH e resulta no desenvolvimento dos dutos de Müller até a formação dos ovidutos, útero, cérvix e a porção cranial da vagina (figura 4). Assim, na fêmea, ao não haver testículos não circulam concentrações elevadas de andrógenos, o que impedirá o desenvolvimento dos dutos de Wolff, enquanto que os dutos de Müller se desenvolvem já que não haverá a presença do MIH para impedi-lo. O desenvolvimento dos genitais internos e externos femininos não requerem a presença de nenhum hormônio ovariano o que levará a cabo de maneira predeterminada (ou pré-estabelecida) na ausência de testículos. Outra estrutura interna que também se desenvolve de forma distinta nos machos e nas fêmeas é o seio urogenital, que no embrião macho é estimulado pela testosterona para formação da próstata, das glândulas bulbouretrais e da uretra peniana, enquanto que na fêmea forma a porção caudal da vagina. A respeito dos órgãos genitais externos (figura 5), nos embriões de ambos os sexos existem estruturas precursoras chamadas de tubérculo genital e pregas vestibulares. Na fêmea o tubérculo genital da origem ao clitóris e as pregas vestibulares dão origem aos lábios vulvares sem a necessidade da atuação de hormônios ovarianos, já que o padrão “por via pré-estabelecida” é feminino. Em contrapartida, no macho, tanto o tubérculo genital quanto as pregas vestibulares respondem ao hormônio 5α-dehidro-testosterona (DHT), ao qual se formam as células da pele da zona genital a partir da testosterona que é secretada pelos testículos. Para isso existem nas células a enzima 5α-reductasa, que transforma a testosterona em DHT. Uma vez formada, a DHT atua sobre as pregas vestibulares do embrião macho para que se fusionem e formem o escroto (em lugar dos lábios vulvares), e sobre o tubérculo genital para formar o pênis (em lugar do clitóris). Figura 5: estruturas que se desenvolvem nos embriões de cada sexo a partir do seio urogenital, o tubérculo genital e as pregas vestibulares. A cor do né de cada estrutura final corresponde com a cor do nome da estrutura a partir da qual se originou. Fonte: ZARCO, 2018. -/- • ___DIFERENCIAÇÃO SEXUAL DO SISTEMA NERVOSO -/- Existem inúmeras diferenças funcionais entre o sistema nervoso da fêmeas e o do machos, em humanos podem incluir diferenças tão complexas como a maior capacidade de verbal da mulher ou a maior capacidade de orientação espacial do homem. Nessa parte será abordada aquelas diferenças que influenciam diretamente sobre a função reprodutiva, como as diferenças na regulação da secreção de gonadotropinas ou as diferenças na capacidade de comportamento sexual masculino ou feminino. É necessário lembrar que, apesar de que essas diferenças se originem durante um período crítico da vida fetal ou neonatal (dependendo da espécie), geralmente se fazem presentes até que o animal chegue a vida adulta e demonstre obter ou não a capacidade para se comportar como macho ou como fêmea uma vez que é exposto aos hormônios sexuais que são secretada depois da puberdade. Igualmente aos processos acima citados, podemos afirmar que nos mamíferos o padrão pré-estabelecido de comportamento sexual e de secreção de gonadotropinas é o feminino. Se durante os primeiros dias de vida neonatal uma rata fêmea não é exposta a nenhum hormônio gonodal, ao chegar a vida adulta ela terá a capacidade de se comportar como fêmea na presença de estrógenos, assim como de secretar um pico pré-ovulatório de GnRH/LH em resposta aos mesmos (figura 6). Essa rata, portanto, não poderá se comportar como macho embora que em sua vida adulta seja exposta a testosterona. O sistema nervoso do rato macho recém-nascido que é exposto aos andrógenos produzidos pelos testículos, em detrimento, faz com que adquiram o potencial para se comportar como machos em sua vida adulta e que perdem o potencial para ter conduta de fêmeas na presença e/ou administração de estrógenos (processo conhecido como desfeminização do SNC). Se por meios de experimentos injetamos testosterona em uma rata fêmea recém-nascida, essa rata não poderá se comportar como fêmea em sua vida adulta, e passará a se comportar como macho. A castração neonatal de um rato (visando evitar a exposição de seu SNC a andrógenos testiculares), assim mesmo, resultará em sua vida adulta um padrão feminino (SNC feminizado e não masculinizado). O hipotálamo das ratas adultas possui uma área em que o número, características e densidade dos corpos neurais difere em machos e fêmeas, essa área é denominada como “núcleo sexualmente dimórfico do hipotálamo”, e tem demonstrado que quando as ratas são tratadas com testosterona na vida neonatal, a morfologia de seu núcleo sexualmente dimórfico será masculinizado em sua vida adulta, enquanto que a castração neonatal de ratos resulta em um núcleo sexualmente dimórfico feminizado em sua vida adulta. Isso significa que a exposição ou não a testosterona na vida neonatal é o que determina que tipo de núcleo sexualmente dimórfico se desenvolverá, o que por sua vez está relacionado com o tipo de conduta que o animal poderá expressar em sua vida adulta. Não deixa de ser um paradoxo que ao injetar uma dose elevada de estrógenos nos primeiros dias de vida de uma rata, os núcleos sexualmente dimórficos da mesma se desenvolverão como macho e em sua vida adulta seu potencial de conduta estará masculinizado e desfeminizado. O hormônio “feminino” conhecido como estradiol, masculiniza o hipotálamo e a conduta do animal. Logo, se a rata neonatal for exposta a injeção de andrógeno não-aromatizado (que não pode ser transformado em estrógenos pelas células) ela não se masculiniza. A masculinização e desfeminização dos ratos ou das ratas tratados com testosterona, na realidade, não são provocados pela própria testosterona, senão pelos estrógenos que se formam dentro dos neurônios quando absorvem a testosterona do sangue e a aromatizam para transformá-la em estrógenos (figura 6). Figura 6: desfeminização e masculinização do sistema nervoso central por meio da testosterona, que quando não absorvida pela α-fetoproteína pode entrar nos neurônios, onde se aromatizam para serem transformados em estrógenos, hormônio que é responsável pela desfeminização. Fonte: ZARCO, 2018. Por que as ratas, que possuem ovários funcionalmente produtores de estrógenos, não se masculinizam? A resposta está em uma proteína denominada α-fetoproteína que circula em altas concentrações nos fetos e nos recém-nascidos. Essa proteína possui a capacidade de unir-se aos estrógenos, ao qual impede seu entrada nas células. Os ratos, em desenvolvimento, produzem testosterona, no entanto não possui afinidade pela α-fetoproteína, o que permite com que ela circule livremente. Ao chegar ao SNC, a testosterona (que não foi absorvida) pode entrar nos neurônios e dentro deles se aromatizam e transformam-se em estrógenos, que finalmente masculinizam o SNC. A diferenciação sexual do hipotálamo depende, em síntese, da presença ou ausência dos testículos, o que permite que se produza ou não o hormônio testosterona que pode não ser absorvida por parte da α-fetoproteína, transformar-se em estrógenos e masculinizar o SNC. -/- •___CONCLUSÃO -/- Nos mamíferos todo o processo que se requerem para o desenvolvimento de um macho depende da existência de somente um gene do cromossomo Y, o gene SRY; a ausência desse gene resulta no desenvolvimento de uma fêmea. A presença ou ausência do gene SRY determina, então, a cadeia de eventos morfogênicos que ocorrerá em sua expressão ou não, para desenvolver todos os órgãos e características de um macho ou de uma fêmea. Por essa razão, os indivíduos com uma monossomia XOA (síndrome de Turner) são fêmeas (por não possuir o cromossomo Y nem o gene SRY), enquanto que os indivíduos triploides XXY (síndrome de Kleinefelter) são machos embora possuam dois cromossomos X. Em algumas espécies, no entanto, têm-se identificado machos que são cromossomicamente XX; nesses casos é determinado invariavelmente que por ser um erro durante a meiose a região do cromossomo Y em que reside o gene SRY tem sido transloucada ao cromossomo X. Da mesma forma, em alguns casos tem sido encontrado fêmeas com cariótipo XY; que nelas se identifica uma mutação inabilitante do gene SRY. Isso demonstra experimentalmente que por meio da engenharia genética é possível produzir machos com cariótipo XY mas com o gene SRY eliminado (knockout). Como é de se esperar, esses machos desenvolvem ovários e todos seus órgãos genitais, tanto internos quanto externos, e se desenvolvem como fêmeas. Os machos cromossomicamente XX transgênicos aos que se insertam uma cópia do gene SRY, desenvolvem testículos e um fenótipo masculino, embora sejam estéreis por causa da ausência de alguns genes do cromossomo Y que são necessários para a realização de uma espermatogênese normal. As falhas nos mecanismos de diferenciação sexual podem, diretamente, ocasionar anormalidades como as observadas nas bezerras Freemartin, que são bezerras originadas de uma gestação gemelar em que seu gêmeo era macho. O que sucede é que na espécie bovina, quando há uma gestação gemelar, é produzido um certo grau de anastomose entre as placentas dos fetos, o que permite a troca de sangue e de células entre ambos. Os produtos recebem, então, algumas células de seu gêmeos, que encontram seu lugar no órgão correspondente e se integram a ele. No caso particular das gônadas, quando o ovário primitivo de um embrião fêmea é colonizado por algumas células gonodais de seu gêmeo macho, essas células expressam o gene SRY, o que fará com que essa região da gônada se diferencie como testículo. Como resultado, se desenvolve um ovo-testículo (com maior ou menor proporção de tecido testicular dependendo do grau de colonização da gônada em formação por células provenientes do gêmeo macho). Ademais, ao haver certa quantidade de tecido testicular produtor de MIH, circularão sobre o feto fêmea níveis desse hormônio que, embora baixos, afetarão o desenvolvimento normal dos dutos de Müller, fazendo com que as bezerras Freemartin possuam genitálias internas ausentes ou pouco desenvolvidas. Os andrógenos produzidos pelas zonas de tecido testicular, por fim, são suficientes para causar um certo grau de masculinização, que se manifesta como um clitóris mais grande que o normal ou um desenvolvimento corporal masculinizado. -/- REFERÊNCIAS BIBLIOGRÁFICAS -/- ARNOLD, Arthur P.; CHEN, Xuqi; ITOH, Yuichiro. What a difference an X or Y makes: sex chromosomes, gene dose, and epigenetics in sexual differentiation. In: Sex and gender differences in pharmacology. Springer, Berlin, Heidelberg, 2013. p. 67-88. CUNNINGHAM, James. Tratado de fisiologia veterinária. Elsevier Health Sciences, 2011. DERIVAUX, Jules; BARNABÉ, Renato Campanarut. Reprodução dos animais domésticos. Zaragoza: Acribia, 1980. DA SILVA, Emanuel Isaque Cordeiro. Desenvolvimento Embrionário e Diferenciação Sexual nos Animais Domésticos. Disponível em:. Acesso em: Julho de 2020. HAFEZ, Elsayed Saad Eldin; HAFEZ, Bahaa. Reprodução animal. São Paulo: Manole, 2004. HIDALGO, C. Galina et al. Reproducción de animales domésticos. México: Limusa, 2008. MACLAUGHLIN, David T.; DONAHOE, Patricia K. Sex determination and differentiation. New England Journal of Medicine, v. 350, n. 4, p. 367-378, 2004. MCCARTHY, Margaret M.; ARNOLD, Arthur P. Reframing sexual differentiation of the brain. Nature neuroscience, v. 14, n. 6, p. 677, 2011. PLANT, Tony M.; ZELEZNIK, Anthony J. (Ed.). Knobil and Neill's physiology of reproduction. Academic Press, 2014. REY, Rodolfo. Diferenciación sexual embrio-fetal: De las moléculas a la anatomía. Revista chilena de anatomía, v. 19, n. 1, p. 75-82, 2001. SENGER, P. L. Embryogenesis of the pituitary gland and male or female reproductive system. In. Pathways to Pregnancy and Parturition. Current Conception Inc, v. 1, p. 8-76, 1997. ZARCO, L. Diferenciación sexual. In. PORTA, L. R.; MEDRANO, J. H. H. Fisiología reproductiva de los animales domésticos. Cidade do México: FMVZ-UNAM, 2018. -/- REALIZAÇÃO -/- . (shrink)

I argue that recent attempts to show that meaning and content are not normative fail. The two most important arguments anti-normativists have presented are what I call the ‘argument from constitution’ and the ‘argument from guidance’. Both of these arguments suffer from the same basic problem: they overlook the possibility of focusing on assessability by norms, rather than compliance with norms or guidance by norms. Moreover, I argue that the anti-normativists arguments fail even if we ignore this basic problem. Thus, (...) we have not been given good reasons to think that normativism is false. (shrink)

I argue that logic is unlike science in its methodology, thus rejecting anti-exceptionalism about logic. Logic has a mathematical and a philosophical part. In its mathematical part, the methodology of logic is like that of mathematics, and no need to choose between theories arises in that part. In its philosophical part, the methodology of logic is like that of philosophy. Philosophy and mathematics are both unlike the empirical sciences in their methodology. So logic is unlike the empirical sciences in its (...) methodology. I end by looking at disagreements about the liar paradox as an example. (shrink)

Some philosophers have recently argued that there are no diachronic norms of epistemic rationality, that is, that there are no norms regarding how you should change your attitudes over time. I argue that this is wrong on the grounds that there are norms governing reasoning.

While we can judge and believe things by merely accepting testimony, we cannot make inferences by merely accepting testimony. A good theory of inference should explain this. The theories that are best suited to explain this fact seem to be theories that accept a so-called intuitional construal of Boghossian’s Taking Condition.

In this comprehensive interview with Charles Taylor, the focus is put on the conceptual level. Taylor reflects on the relationship between history, narrativity and social critique, between social imaginaries and social change, and between his own thought and that of Cambridge School history of ideas, Nietzschean genealogy, Frankfurt School critical theory, and agonistic approaches to the political. This interview not only captures the tremendous breadth and range of Taylor’s theoretical interests, it also vindicates his contention that the common thread of (...) his oeuvre is the attempt to work out a non-reductive, non-mechanistic, non-atomistic philosophical anthropology. Still, it offers new insights into Taylor's most recent thinking and his intellectual engagement with the challenges of our time. (shrink)

This paper offers an account of deontic normativity in terms of attributive goodness. An action is permissible for S in C just in case there is a good practical inference available to S in C that results in S performing (or intending to perform) the action. The standards of goodness for practical inferences are determined by what is a good or bad exercise of the human capacity of practical reason, which is an attributive (and not a deontic) assessment.

In Chapter 8 of The Language Animal, Charles Taylor claims that narratives are unsubstitutable for an appropriate understanding of social life and ‘human affairs’ in general. In order to identify open questions in his argumentation as well as unwanted consequences of his outlook, I proceed in three consecutive steps. I first problematize Taylor’s distinction between laws and stories, then go on to address his intentional blurring of stories and histories, and finally suggest that the concept of genealogy might be a (...) promising candidate for describing Taylor’s approach, concluding that he implicitly forms the equation: narrative equals history equals critique. (shrink)

I argue against abductivism about logic, which is the view that rational theory choice in logic happens by abduction. Abduction cannot serve as a neutral arbiter in many foundational disputes in logic because, in order to use abduction, one must first identify the relevant data. Which data one deems relevant depends on what I call one's conception of logic. One's conception of logic is, however, not independent of one's views regarding many of the foundational disputes that one may hope to (...) solve by abduction. (shrink)

Nontransitive responses to the validity Curry paradox face a dilemma that was recently formulated by Barrio, Rosenblatt and Tajer. It seems that, in the nontransitive logic ST enriched with a validity predicate, either you cannot prove that all derivable metarules preserve validity, or you can prove that instances of Cut that are not admissible in the logic preserve validity. I respond on behalf of the nontransitive approach. The paper argues, first, that we should reject the detachment principle for naive validity. (...) Secondly, I show how to add a validity predicate to ST while avoiding the dilemma. (shrink)

I argue that the accounts of inference recently presented (in this journal) by Paul Boghossian, John Broome, and Crispin Wright are unsatisfactory. I proceed in two steps: First, in Sects. 1 and 2, I argue that we should not accept what Boghossian calls the “Taking Condition on inference” as a condition of adequacy for accounts of inference. I present a different condition of adequacy and argue that it is superior to the one offered by Boghossian. More precisely, I point out (...) that there is an analog of Moore’s Paradox for inference; and I suggest that explaining this phenomenon is a condition of adequacy for accounts of inference. Boghossian’s Taking Condition derives its plausibility from the fact that it apparently explains the analog of Moore’s Paradox. Second, in Sect. 3, I show that neither Boghossian’s, nor Broome’s, nor Wright’s account of inference meets my condition of adequacy. I distinguish two kinds of mistake one is likely to make if one does not focus on my condition of adequacy; and I argue that all three—Boghossian, Broome, and Wright—make at least one of these mistakes. (shrink)

For semantic inferentialists, the basic semantic concept is validity. An inferentialist theory of meaning should offer an account of the meaning of "valid." If one tries to add a validity predicate to one's object language, however, one runs into problems like the v-Curry paradox. In previous work, I presented a validity predicate for a non-transitive logic that can adequately capture its own meta-inferences. Unfortunately, in that system, one cannot show of any inference that it is invalid. Here I extend the (...) system so that it can capture invalidities. (shrink)

According to McHugh and Way reasoning is a person-level attitude revision that is regulated by its constitutive aim of getting fitting attitudes. They claim that this account offers an explanation of what is wrong with reasoning in ways one believes to be bad and that this explanation is an alternative to an explanation that appeals to the so-called Taking Condition. I argue that their explanation is unsatisfying.

The paper presents a truth-maker semantics for Strict/Tolerant Logic (ST), which is the currently most popular logic among advocates of the non-transitive approach to paradoxes. Besides being interesting in itself, the truth-maker presentation of ST offers a new perspective on the recently discovered hierarchy of meta-inferences that, according to some, generalizes the idea behind ST. While fascinating from a mathematical perspective, there is no agreement on the philosophical significance of this hierarchy. I aim to show that there is no clear (...) philosophical significance of meta-inferences above the first level. (shrink)

The perhaps most important criticism of the nontransitive approach to semantic paradoxes is that it cannot truthfully express exactly which metarules preserve validity. I argue that this criticism overlooks that the admissibility of metarules cannot be expressed in any logic that allows us to formulate validity-Curry sentences and that is formulated in a classical metalanguage. Hence, the criticism applies to all approaches that do their metatheory in classical logic. If we do the metatheory of nontransitive logics in a nontransitive logic, (...) however, there is no reason to think that the argument behind the criticism goes through. In general, asking a logic to express its own admissible metarules may not be a good idea. (shrink)

Some think that logic concerns the “laws of truth”; others that logic concerns the “laws of thought.” This paper presents a way to reconcile both views by building a bridge between truth-maker theory, à la Fine, and normative bilateralism, à la Restall and Ripley. The paper suggests a novel way of understanding consequence in truth-maker theory and shows that this allows us to identify a common structure shared by truth-maker theory and normative bilateralism. We can thus transfer ideas from normative (...) bilateralism to truth-maker theory, such as non-transitive solutions to paradox, and vice versa, such as notions of factual equivalence and containment. (shrink)

A shared narrative in the literature on the evolution of cooperation maintains that social _learning_ evolves early to allow for the transmission of cumulative culture. Social _norms_, whilst present at the outset, only rise to prominence later on, mainly to stabilise cooperation against the threat of defection. In contrast, I argue that once we consider insights from social epistemology, an expansion of this narrative presents itself: An interesting kind of social norm — an epistemic coordination norm — was operative in (...) early and important instances of specialised social learning. I show how there’s a need for such norms in two key social learning strategies and explain how this need is constituted. In assessor-teaching (e.g. Castro et al., 2019b, 2021), epistemic coordination norms allow agents to coordinate around the _content_ of social learning, i.e., what is to be known and how this is to be done. These norms also allow agents to coordinate around the form of cultural learning in what’s sometimes called strategic social learning (Laland, 2004; Hoppitt & Laland, 2013; Heyes, 2018, Chap. 5) and elsewhere. Broadly speaking, this concerns how cultural learning is organised within the social group. The upshot is that the evolution of social learning and social norms are intertwined in important and underappreciated ways from early on. The above matters as it informs our views about the evolution of social norms more generally. Truly _social_ norms emerged to coordinate a plurality of complex behaviours and interactions, amongst them specialised social learning. I substantiate this view by contrasting it with Jonathan Birch’s views on the evolution of norms. What results is a general but cohesive narrative on the early evolution of social norms. (shrink)

This paper argues for a view of free will that I will call the conceptual impossibility of the truth of free will error theory - the conceptual impossibility thesis. I will argue that given the concept of free will we in fact deploy, it is impossible for our free will judgements - judgements regarding whether some action is free or not - to be systematically false. Since we do judge many of our actions to be free, it follows from the (...) conceptual impossibility thesis that many of our actions are in fact free. Hence it follows that free will error theory - the view that no judgement of the form ‘action A was performed freely’ - is false. I will show taking seriously the conceptual impossibility thesis helps makes good sense of some seemingly inconsistent results in recent experimental philosophy work on determinism and our concept of free will. Further, I will present some reasons why we should expect to find similar results for every other factor we might have thought was important for free will. (shrink)

I am presenting a sequent calculus that extends a nonmonotonic consequence relation over an atomic language to a logically complex language. The system is in line with two guiding philosophical ideas: (i) logical inferentialism and (ii) logical expressivism. The extension defined by the sequent rules is conservative. The conditional tracks the consequence relation and negation tracks incoherence. Besides the ordinary propositional connectives, the sequent calculus introduces a new kind of modal operator that marks implications that hold monotonically. Transitivity fails, but (...) for good reasons. Intuitionism and classical logic can easily be recovered from the system. (shrink)

The paper argues for a version of the Guise of the Good thesis, namely the claim that if someone acts as the result of practical reasoning, then she takes her premises to jointly provide a sufficient and undefeated reason for her action. I argue for this by showing, first, that it is an application of Boghossian's Taking Condition on inference to practical reasoning and, second, that the motivations for the Taking Condition for theoretical reasoning carry over to practical reasoning. I (...) end by arguing that this version of the Guise of the Good withstands standard objections. (shrink)

The paper presents teleo-inferentialism, which is a novel meta-semantic theory that combines advantages of teleosemantics and normative inferentialism. Like normative inferentialism, teleo-inferentialism holds that contents are individuated by the norms that govern inferences in which they occur. This allows teleo-inferentialism to account for sophisticated concepts. Like teleosemantics, teleo-inferentialism explains conceptual norms in a naturalistically acceptable way by appeal to the broadly biological well-functioning of our innate capacities. As a test-case for teleo-inferentialism, I discuss how the view handles Kripkenstein-style meaning skepticism.

In Kapitel 5 dieses Buches wurde mit dem ontologischen Sextett eine Klassifizierung der Realität vorgestellt, die das klassische Aristotelische Viereck erweitert, indem sie Einzeldinge und Universalien in insgesamt sechs Kategorien umfaßt. Zwischen den Entitäten dieser Kategorien sind bestimmte Beziehungen postuliert worden, wie zum Beispiel Inhärenz, Partizipation, Instantiierung, Exemplifizierung und Charakterisierung. In diesem Kapitel soil der Frage nachgegangen werden, wie eben diese Beziehungen zwischen den Entitäten dieser Kategorien genauer charakterisiert und die sie bezeichnenden relationalen Ausdrücke eindeutig formal definiert werden konnen.

It is often assumed that neo-Aristotelian virtue ethics postulates an obligation to be a good human being and that it derives further obligations from this idea. The paper argues that this assumption is false, at least for Philippa Foot’s view. Our argument blocks a widespread objection to Foot’s view, and it shows how virtue ethics in general can neutralize such worries.

We sometimes violate social norms in order to express our views and to trigger public debates. Many extant accounts of social norms don’t give us any insight into this phenomenon. Drawing on Cristina Bicchieri’s work, I am putting forward an empirical hypothesis that helps us to understand such norm violations. The hypothesis says, roughly, that we often adhere to norms because we are systematically blind to norm-violating options. I argue that this hypothesis is independently plausible and has interesting consequences. It (...) implies, e.g., that some experimental paradigms for investigating social norms have hitherto unnoticed shortcomings. (shrink)

This book presents a philosophical conception of logic -- "logical expressivism"-- according to which the role of logic is to make explicit reason relations, which are often neither monotonic nor transitive. It reveals new perspectives on inferential roles, sequent calculi, representation, truthmakers, and many extant logical theories.

This paper presents the main topics, arguments, and positions in the philosophy of AI at present (excluding ethics). Apart from the basic concepts of intelligence and computation, the main topics of ar-tificial cognition are perception, action, meaning, rational choice, free will, consciousness, and normativity. Through a better understanding of these topics, the philosophy of AI contributes to our understand-ing of the nature, prospects, and value of AI. Furthermore, these topics can be understood more deeply through the discussion of AI; so (...) we suggest that “AI Philosophy” provides a new method for philosophy. (shrink)

Contemporary arguments about private paramilitary organizations often focus on the threat of physical violence that they pose to the state: if such organizations garner enough physical power, then they can overtake the state via violent coup. Inspired by the legalist scholar Han Feizi’s position, we contend that such organizations also represent a sociopolitical, existential threat to the state. Specifically, their tendency for ideological expansion and subsequent gathering of political influence undermines state institutions, even without the use of overt physical force. (...) Consequently, the sociopolitical enterprise of having a unified, stable state is incompatible with the existence of, and public political support for, private paramilitary organizations, regardless of their actual or potential physical power. This argument succeeds regardless of the moral status of such paramilitary groups. Such groups, when they match the essential components of the description Han Feizi provides, are practically and politically antithetical to the integrity of the state. (shrink)

Niettegenstaande de tendens van het failliet van het multiculturalisme is multiculturele dialoog niet weg te denken in een zich globaliserende wereld. Taylor, Gadamer, Honneth en Kymlicka hebben een bijdrage geleverd op het vlak van de erkenning van identiteit, respect en waardering van verschil. Wij voeren het argument aan dat bovenstaande auteurs niet ontsnappen aan het postmodernistisch dilemma van zelfautonomie en slachtofferschap. Dit komt doordat zij in hun rationale vertrekken van het afzonderlijke subject en deze situeren in een ruimte-tijd waarin de (...) tijd slechts een historische rol heeft en de ruimte geen actieve rol speelt. Tegenover deze uitvloeisels van het postmodern denken stellen wij het eco-communau-tarisme. Vanuit de vaststelling dat het individu denkt, spreek en handelt in de context van zijn taal en cultuur en dus vanuit zijn gemeenschap, situeren wij dit subject en de gemeenschap tevens in een particulier territorium of het ecotoop. Door middel van Hacking’s sociaal constructivisme, het Leibniziaanse meerwereldenbeeld en het biologische paradigma als nieuw denkkader, structureren wij de gemeenschap volgens een cyclisch en een lineair tijdverloop. Het cyclische waarborgt de traditie van een gemeenschap, het lineaire doet de gemeenschap evolueren naar een moreel betere toekomst en heeft een transcendent statuut. Het eco-communautarisme biedt het kader voor een kwalitatieve evolutie van individuen en gemeenschappen. Het normerend aspect hiervan is de pluriforme en multiculturele dialoog. (shrink)

The new paradigm in the psychology of reasoning draws on Bayesian formal frameworks, and some advocates of the new paradigm think of these formal frameworks as providing a computational-level theory of rational human inference. I argue that Bayesian theories should not be seen as providing a computational-level theory of rational human inference, where by “Bayesian theories” I mean theories that claim that all rational credal states are probabilistically coherent and that rational adjustments of degrees of belief in the light of (...) new evidence must be in accordance with some sort of conditionalization. The problems with the view I am criticizing can best be seen when we look at chains of inferences, rather than single-step inferences. Chains of inferences have been neglected almost entirely within the new paradigm. (shrink)

This volume offers very selected papers from the 2014 conference of the “International Association for Computing and Philosophy” (IACAP) - a conference tradition of 28 years. - - - Table of Contents - 0 Vincent C. Müller: - Editorial - 1) Philosophy of computing - 1 Çem Bozsahin: - What is a computational constraint? - 2 Joe Dewhurst: - Computing Mechanisms and Autopoietic Systems - 3 Vincenzo Fano, Pierluigi Graziani, Roberto Macrelli and Gino Tarozzi: - Are Gandy Machines really local? (...) - 4 Doukas Kapantais: - A refutation of the Church-Turing thesis according to some interpretation of what the thesis says - 5 Paul Schweizer: - In What Sense Does the Brain Compute? - 2) Philosophy of computer science & discovery - 6 Mark Addis, Peter Sozou, Peter C R Lane and Fernand Gobet: - Computational Scientific Discovery and Cognitive Science Theories - 7 Nicola Angius and Petros Stefaneas: - Discovering Empirical Theories of Modular Software Systems. An Algebraic Approach. - 8 Selmer Bringsjord, John Licato, Daniel Arista, Naveen Sundar Govindarajulu and Paul Bello: - Introducing the Doxastically Centered Approach to Formalizing Relevance Bonds in Conditionals - 9 Orly Stettiner: - From Silico to Vitro: - Computational Models of Complex Biological Systems Reveal Real-world Emergent Phenomena - 3) Philosophy of cognition & intelligence - 10 Douglas Campbell: - Why We Shouldn’t Reason Classically, and the Implications for Artificial Intelligence - 11 Stefano Franchi: - Cognition as Higher Order Regulation - 12 Marcello Guarini: - Eliminativisms, Languages of Thought, & the Philosophy of Computational Cognitive Modeling - 13 Marcin Miłkowski: - A Mechanistic Account of Computational Explanation in Cognitive Science and Computational Neuroscience - 14 Alex Tillas: - Internal supervision & clustering: - A new lesson from ‘old’ findings? - 4) Computing & society - 15 Vasileios Galanos: - Floridi/Flusser: - Parallel Lives in Hyper/Posthistory - 16 Paul Bello: - Machine Ethics and Modal Psychology - 17 Marty J. Wolf and Nir Fresco: - My Liver Is Broken, Can You Print Me a New One? - 18 Marty J. Wolf, Frances Grodzinsky and Keith W. Miller: - Robots, Ethics and Software – FOSS vs. Proprietary Licenses. (shrink)

Influential cases have been provided that seem to suggest that one can fail to have knowledge because of the social environment. If not a distinct kind of social defeater, is there a uniquely social phenomenon that defeats knowledge? My aim in this paper is to explore these questions. I shall argue that despite initial appearances to the contrary, we have no reason to accept a special class of social defeater, nor any essentially social defeat phenomenon. We can explain putative cases (...) of social defeat with our existing epistemological apparatus. (shrink)

Advocates of longtermism point out that interventions which focus on improving the prospects of people in the very far future will, in expectation, bring about a significant amount of good. Indeed, in expectation, such long-term interventions bring about far more good than their short-term counterparts. As such, longtermists claim we have compelling moral reason to prefer long-term interventions. In this paper, I show that longtermism is in conflict with plausible deontic scepticism about aggregation. I do so by demonstrating that, from (...) both an ex-ante and ex-post perspective, longtermist interventions – and, in particular, those which aim to mitigate catastrophic risk – typically generate extremely weak claims of assistance from future people. (shrink)

This paper investigates two assumptions of the exponential discounted utility theory (EDU) to which Callender draws our attention: namely that we can cleanly distinguish pure from impure temporal preferences, and that past discounting can be ignored. Drawing on recent empirical work in this area, we argue that in so far as one might have thought that past-directed preferences are more pure than future ones, then there is evidence that people’s pure preferences (in so far as we can make sense of (...) that notion) show more interpersonal variation than has previously been thought. (shrink)

Many natural scientists of the past and the present have imagined that they pursued their activity according to its own inherent rules in a realm distinctly separate from the business world, or at least in a realm where business tended to interfere with science from time to time, but was not ultimately an essential component, ‘because one thought that in science one possessed and loved something unselfish, harmless, self-sufficient, and truly innocent, in which man’s evil impulses had no part whatever’, (...) as Nietzsche once commented (Nietzsche 1974, p.106). With the extreme technological changes that have occurred in the last fifty years and the orchestrated management changes in the culture of science, it is now obvious that science is intimately tied to private businesses, industry, and society. Within this structure, the scientist has generally unknowingly defined him or herself in accordance with obsolete myths that have tended to handicap the scientist’s freedom of action, by obscuring the modern political and economic realities of science, and neglecting the inherent responsibilities of the scientist as a critical actor in the theater of human civilization. The increasing incorporation of academic science and private industry, and the governmentally supervised nature of modem academic science, has corrupted the traditional freedom and character of the scientist. In order to navigate oneself and find meaning within the new structure of science, scientists now desperately need a fresh ethos that at once considers modern realities of the politics and management of science, societal urgencies, and global politics, as well as establishing a moral perspective where modern scientists can be actors with their own intentionality and responsibility. -/- In the culture of science, myths and ideologies are of critical importance for the formation of the scientist, because these ideas determine how scientists conceive of themselves as professionals and free individuals. More importantly, these ideas determine how scientists approach scientific activity, which exists in a social context, and which ultimately has the potential to dramatically change the characteristics of civilization as it is played out on the political and technological battlefield. It is a commonly held notion in the community of the natural sciences that science now is essentially what it was when it was described by the Nobel laureates of the past; those sweet, cushioning, pleasant words consecrating the ‘temple of science’; the picture of a humble, rational, and noble Einstein is imprinted into our memories. By dismantling these obsolete myths of the scientist and surveying contemporary trends in science, this article will explore a more realistic perspective toward the field of science. The goal of this investigation is to determine the modern reality and ultimate meaning of ‘science as a vocation’ (Shorett 2003). Finally, moral philosophy will be demonstrated to be a critical clement in the self-assertion of the scientist and the elucidation of the meaning of science as a vocation in a global technological society. -/- From the Postscript, 2015: This article took final form when I was a postdoctoral researcher in Canada. Reading it now, I recognize the article still has value, despite its many flaws, hyperboles, and idealism. Many issues in the article have become increasingly relevant, such as the need to make constant trade-offs in courses of action and continuously search for more morally significant research paths. Perhaps the greatest goals in writing the article were to increase intellectual control over the path of my scientific research, to escape the increasing conformity and constraints on modern life, to participate in an open society, to formulate my personal goals and goal hierarchies, to dispel any delusions of overconfidence, and to not be corrupted. (shrink)

The general idea of strong foundationalism is that knowledge has a foundation in well warranted beliefs which do not derive any warrant from other beliefs and that all our other beliefs depend on these foundational ones for their warrant. Although inerrancy posits Scripture as a solid foundation for theology, the idea that the doctrine of biblical inerrancy involves a strong foundationalist epistemology is deeply problematic. In fact, inerrancy does not require any particular view of the structure of knowledge, and notable (...) sources on inerrancy tout it in ways inconsistent with most forms of strong foundationalism. (shrink)

The problem considered in this chapter emerges from the tension we find when looking at the design and architecture of chatbots on the one hand and their conversational aptitude on the other. In the way that LLM chatbots are designed and built, we have good reason to suppose they don't possess second-order capacities such as intention, belief or knowledge. Yet theories of conversation make great use of second-order capacities of speakers and their audiences to explain how aspects of interaction succeed. (...) As we can all bear witness to now though, at the point of use chatbots appear capable of performing language tasks at a level close to that of humans. This creates a tension when we consider something like, for example, the classic Gricean theory of implicature. On a broad summary of this type of account, to utter p and implicate q requires the reflexive occurrence of an audience supposing a speaker believes that q, and the speaker believing that their audience can determine they believe it when they utter p. So taken at face value, if a chatbot doesn’t have the capacity for belief, then either in their role as speaker or audience, they would not seem capable of either generating or comprehending implicatures. Yet on the surface it does seem that chatbots are capable of dealing with (some) implicatures, and as such it raises questions about how we should then correlate this with what we think occurs in cases of implicature with chatbots. (shrink)

In philosophy of science, several views have been espoused on the meaning of the term 'theory'; among these are the syntactic view and the semantic view. But even after decades of debate, no consensus has been reached on an all-encompassing positively defined view on theories. Here we take that to mean that the outcome of the debate is that such an all-encompassing view is nonexisting. Correspondingly, the purpose of this paper is to present a pluralist view on theories: it is (...) negatively defined, yet it may break the deadlock in the ongoing debate on the meaning of 'theory'. (shrink)

At the heart of two recent theological traditions are hermeneutical principles which are not only consistent but are integrated in the hermeneutics of Augustine. According to the doctrine of biblical inerrancy as it has been recently articulated by Evangelicals, Scripture has an original meaning, and that meaning is not open to the possibility of error. According to some thinkers in postmodern theology, including Jean-Luc Marion, the meaning of Scripture transcends its original meaning. After examining postmodernism and inerrancy, I consider their (...) harmony in the writings of Augustine, who takes original meaning as a guide for understanding that biblical meaning which transcends it. An Augustinian hermeneutic consistent with inerrancy is thus an alternative to the more typical non-inerrantist postmodern theologies. (shrink)

The paper presents a new argument for epistemic permissivism. The version of permissivism that we defend is a moderate version that applies only to explicit doxastic attitudes. Drawing on Yalcin’s framework for modeling such attitudes, we argue that two fully rational subjects who share all their evidence, prior beliefs, and epistemic standards may still differ in the explicit doxastic attitudes that they adopt. This can happen because two such subjects may be sensitive to different questions. Thus, differing intellectual interests can (...) yield failures of uniqueness. This is not a merely pragmatic phenomenon. (shrink)